More than a tool for communication
نویسندگان
چکیده
منابع مشابه
MOBY { More than a Tool for the Veri cation ofSDL -
In this paper a new approach to the veriication of SDL-speciications is presented. The key idea of the method consists of associating a com-positional Petri net semantics to SDL-speciications. A temporal logic is deened which allows the formulation of relevant properties of SDL-speciications. The model checking problem for SDL-speciications according to this logic is then reduced to the model c...
متن کاملAn unusual, giant and benign condylomaacuminatum lesion on the genital area for more than a decade
Condyloma acuminatum, is a rare sexually transmitted disease. The virus responsible for condyloma is human papillomavirus. HPV-6 and HPV-11 are the most commonly detected HPV genotypes, but at least 20 other HPV genotypes have occasionally been found in genital wart tissue specimens. In fact genital HPV infection is common among sexually active populations. This disease may occur at any age af...
متن کاملPublishing Linked Data Requires More than Just Using a Tool
Open Data raise problems of heterogeneity due to the various adopted data formats and metadata schema descriptions. These problems may be overcome by using Semantic Web technologies in order to move from raw data to semantic data interlinked in the Web of Data. However, lifting Open Data to Linked Open Data is far from being straightforward. In this paper, we describe the challenges we faced in...
متن کاملOntoSphere: more than a 3D ontology visualization tool
In this paper a new approach to ontology visualization is introduced, using a more than 3-dimensional space. The ontology information is represented on a 3D view-port enriched by visual cues. A preliminary application based on the presented principles is described, and results show that the approach is feasible and can actually lead to a more effective modeling process and to an easy detection ...
متن کاملBreast cancer genetic testing: more than a medical management tool.
BACKGROUND Knowing whether a harmful hereditary mutation exists in BRCA1 and BRCA2 can enable women to make informed decisions regarding surveillance and surgery options to manage risk. Given the attention in the media about BRCA genetic testing, nurses need to revisit how this knowledge may affect a woman's sense of self and the forces that may influence this decision. OBJECTIVES This articl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2019
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.aaz4133